1. American writers :
پدیدآورنده : Leonard Unger, editor in chief.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : American literature-- History and criticism.,American literature, Bio-bibliography.,Authors, American, Biography.
رده :
PS129
.
A55
2. Black writers
پدیدآورنده : / Linda Metzger, senior editor
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
E185
,
96
،.
B545
1989
،
R
3. Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers
پدیدآورنده : Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، CSP )Computer program language(,Congresses ، Parallel programming )Computer science(,Congresses ، Sequential processing )Computer science(,Congresses ، Computer programming,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
3525
4. Country music originals :
پدیدآورنده : Tony Russell.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Country music-- History and criticism.,Country musicians, Biography.,BIOGRAPHY & AUTOBIOGRAPHY-- Composers & Musicians.,Country music.,Country musicians.,MUSIC-- Genres & Styles-- Country & Bluegrass.
رده :
ML394
.
R87
2007eb
5. Dependable and Historic Computing
پدیدآورنده : / Cliff B. Jones, John L. Lloyd
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK
6. Dependable and Historic Computing :
پدیدآورنده : Cliff B Jones
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
17
C554
2012
7. Environmental engineering papers [electronic resource] :
پدیدآورنده : American Society of Naval Engineers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Environmental engineering.,Environmental protection.,Marine pollution.
رده :
TA170
.
A447
2006
8. Essays in computing science
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic data processing,Computers
رده :
QA
،
76
،.
H56
،
1989
9. Essays in computing science
پدیدآورنده : / C.A.R.Houre
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Computer science
رده :
004
H679e
10. Essays in computing science /
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hoare, C. A. R.-- Bibliography.,Computers.,Electronic data processing.,Bibliography-- Hoare, C.A.R.,Computers.,Electronic data processing.
رده :
QA76
.
5
11. FME'97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe 1997 : proceedings
پدیدآورنده : John Fitzgerald, Cliff B. Jones, Peter Lucas, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Methodology -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
1313
12. Formal methods and hybrid real-time systems
پدیدآورنده : Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
رده :
QA
،
76
.
9
،.
F67
,
F525
،
2007
13. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
14. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
15. Mural :
پدیدآورنده : C.B. Jones [e altri] ; with contributions from: J. Bicarregui.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software -- Sviluppo.
16. Proceedings of the 5th Refinement Workshop :
پدیدآورنده : organised by BCS-FACS. Cliff B. Jones ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Softwareentwicklung.,Verfeinerung.
رده :
QA76
.
76
.
D47
O743
1992
17. Programming languages and their definition
پدیدآورنده : Bekic, Hans
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
177
18. Programming languages and their definition
پدیدآورنده : Bekic, Hans, 6391-2891
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
177
19. Reflections on the Work of C.A.R. Hoare
پدیدآورنده : / A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
20. Software development: a rigorous approach
پدیدآورنده : Jones, Cliff B
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Programming )Electronic computers(
رده :
QA
76
.
6
.
J6
S6
